Architecture Re nement
نویسندگان
چکیده
|A method is presented for the stepwise re nement of an abstract architecture into a relatively correct lower-level architecture that is intended to implement it. A re nement step involves the application of a prede ned renement pattern that provides a routine solution to a standard architectural design problem. A pattern contains an abstract architecture schema and a more detailed schema intended to implement it. The two schemas usually contain very di erent architectural concepts (from di erent architectural styles). Once a re nement pattern is proven correct, instances of it can be used without proof in developing speci c architectures. Individual re nements are compositional, permitting incremental development and local reasoning. A special correctness criterion is de ned for the domain of software architecture, as well as an accompanying proof technique. A useful syntactic form of correct composition is de ned. The main points are illustrated by means of familiar architectures for a compiler. A prototype implementation of the method has been used successfully in a real application. Keywords| Software architecture, hierarchy, stepwise renement, re nement patterns, formal methods, relative correctness, composition
منابع مشابه
Compositional Re nement for Hierarchical Hybrid Systems?
In this paper, we develop a theory of modular design and re nement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language Charon that allows modular speci cation of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports building complex agents via the operations of instantiation, hiding, and pa...
متن کاملSoftware Issues in High-performance Computing and a Framework for the Development of Hpc Applications
We identify the following key problems faced by HPC software: (1) the large gap between HPC design and implementation models in application development, (2) achieving high performance for a single application on di erent HPC platforms, and (3) accommodating constant changes in both problem speci cation and target architecture as computational methods and architectures evolve. To attack these pr...
متن کاملClass Re nement and Interface Re nement in Object-Oriented Programs
Constructing new classes from existing ones by inheritance or subclassing is a characteristic feature of object-oriented development. Imposing semantic constraints on subclassing allows us to ensure that the behaviour of superclasses is preserved or re ned in their subclasses. This paper de nes a class re nement relation which captures these semantic constraints. The class re nement relation is...
متن کاملContent routing: a scalable architecture for network-based information discovery
This thesis presents a new architecture for information discovery based on a hierarchy of content routers that provide both browsing and search services to end users. Content routers catalog information servers, which may in turn be other content routers. The resulting hierarchy of content routers and leaf servers provides a rich set of services to end users for locating information, including ...
متن کامل